Logic Programming for Knowledge Representation
نویسنده
چکیده
منابع مشابه
Representing Priorities in Logic Programs
Reasoning with priorities is a central topic in knowledge representation. A number of techniques for prioritized reasoning have been developed in the eld of AI, but existing logic programming lacks the mechanism of explicit representation of priorities in a program. In this paper, we introduce a framework for representing priorities in logic programming. Prioritized logic programming represents...
متن کاملOn Philosophical Incidences of Logic Programming
We address the import of AI for philosophical logic and examine the requirements posed by knowledge representation and reasoning issues which AI has addressed, most especially through its Logic Programming field, to more dynamic forms of logic, in order to deal with knowledge in flux. In the process, we consider its encroachments on the philosophy of knowledge.
متن کاملDomain logic programming : theory and applications to scientific knowledge representation
Scienti c Knowledge Representation deals with systems {real or abstract{ that are representable by mathematical models. The eld is very rich, encompassing problems from the realms of physics, engineering and economics, among others. These problems demand both mathematical knowledge of object or situation behaviour as well as knowledge about the applicability and interaction of these various beh...
متن کاملTowards Fuzzy Linguistic Logic Programming
Knowledge representation is one of the central concepts in Artificial Intelligence. It is very common that knowledge about a field is expressed in natural language (English, Spanish, etc). Therefore, most of the times, knowledge representation using a logic programming language derives into a translation problem. This translation consists in the formalization of the statements, belonging to the...
متن کاملOntoDLP: a Logic Formalism for Knowledge Representation
This paper provides an introduction to knowledge representation using OntoDLP, a formalism which combines the full computational power of Disjunctive Logic Programming (DLP) with suitable abstraction mechanisms for the representation of complex objects and default reasoning. The paper does not provide a formal definition of the language, rather it is intended as an informal presentation of its ...
متن کاملLogic-Based Knowledge Representation
After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing terminological knowledge, time-dependent or subjective knowledge, and incomplete knowledge respectively. At the end of each section, we brieey comment on the connection to Logic Programming.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007